2 402 202 книги
Поиск книг
Жанры
Книги
Категории и жанры
Лучшие книги
Библиотека
Помощь
Мобильная версия
Контакты
Как помочь?
libcats.org
Самая большая
электронная библиотека
рунета. Поиск книг и журналов
↓
Только точные совпадения
#1
Engineering Theories of Software Intensive Systems: Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems, ... II: Mathematics, Physics and Chemistry)
Manfred Broy
,
Johannes Gruenbauer
,
David Harel
,
Tony Hoare
6.45 Mb
#2
Cyber-Physical Systems: Innovation durch softwareintensive eingebettete Systeme
Manfred Broy
1.20 Mb
#3
Modellbildung in der Informatik (Xpert.press)
Manfred Broy
,
Ralf Steinbrüggen
21.33 Mb
#4
Model-Based Testing of Reactive Systems, Advanced Lectures 2004
Manfred Broy
,
Bengt Jonsson
,
Joost-Pieter Katoen
,
Martin Leucker
,
Alexander Pretschner
Категория:
CsLn_
5.87 Mb
#5
Model-Based Testing of Reactive Systems: Advanced Lectures
Manfred Broy
,
Bengt Jonsson
,
Joost-Pieter Katoen
,
Martin Leucker
,
Alexander Pretschner
5.92 Mb
#6
Formal Methods in Programming and Their Applications: International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceedings
Dines Bjorner
,
Manfred Broy
,
Igor V. Pottosin
3.88 Mb
#7
Formal Systems Specification: The RPC-Memory Specification Case Study
Manfred Broy
,
Stephan Merz
,
Katharina Spies
4.41 Mb
#8
KORSO: Methods, Languages, and Tools for the Construction of Correct Software: Final Report
Manfred Broy
,
Stefan Jähnichen
3.92 Mb
#9
Methods of Programming: Selected Papers on the CIP-Project
Manfred Broy
,
Martin Wirsing
2.20 Mb
#10
Perspectives of System Informatics: Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25 - 28, 1996; Proceedings
Dines Bjorner
,
Manfred Broy
,
Igor V. Pottosin
3.86 Mb
#11
Perspectives of System Informatics: Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999 ...
Dines Bjorner
,
Manfred Broy
,
Alexandre V. Zamulin
9.42 Mb
#12
Requirements Targeting Software and Systems Engineering: International Workshop Rtse '97, Bernried, Germany, October 12-14, 1997 : Proceedings
Manfred Broy
,
Bernhard Rumpe
3.20 Mb
#13
Perspectives of System Informatics: 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, ... Papers
Dines Bjorner
,
Manfred Broy
,
Alexandre Zamulin
5.59 Mb
#14
Perspectives of Systems Informatics: 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, ... Papers
Manfred Broy
,
Alexandre V. Zamulin
7.03 Mb
#15
Automotive Software-Connected Services in Mobile Networks: First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004,
Manfred Broy
,
Ingolf Krüger
,
Michael Meisinger
4.65 Mb
#16
Model-Driven Development of Reliable Automotive Services: Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised
Manfred Broy
,
Ingolf Krüger
,
Michael Meisinger
4.08 Mb